Vol. 6, No. 9, Special Issue: TOOLS EUROPE 2007, OctoberPluggable checking and inferencing of nonnull types for Java Torbjörn Ekman, Computing Laboratory, Oxford University, United Kingdom Görel Hedin, Departmen

Source URL: www.jot.fm

• Data types
• Computing
• Software engineering
• Type theory
• Computer programming
• Polymorphism
• Object-oriented programming
• Null
• Generics in Java
• Recursion
• Option type
• Attribute grammar

Interacting Quantum Observables Bob Coecke and Ross Duncan Oxford University Computing Laboratory Abstract. We formalise the constructive content of an essential feature of quantum mechanics: the interaction of complemen

Source URL: personal.strath.ac.uk

Automatic Offloading of C++ for the Cell BE Processor: a Case Study Using Offload Alastair F. Donaldson Oxford University Computing Laboratory Oxford, UK Email:

Source URL: www.codeplay.com

On the Parameterised Intractability of Monadic Second-Order Logic Stephan Kreutzer ⋆ Oxford University Computing Laboratory, Abstract. One of Courcelle’s celebrated results states that if C

Source URL: logic.las.tu-berlin.de

Analysing Mu-Calculus Properties of Pushdown Systems M. Hague and C.-H. L. Ong Oxford University Computing Laboratory

Source URL: www.cs.rhul.ac.uk

Non-Regular Fixed-Point Logics and Games Stephan Kreutzer1 Martin Lange2 1 Oxford University Computing Laboratory,

Source URL: logic.las.tu-berlin.de

Model Checking Recursive Programs with Numeric Data Types Matthew Hague and Anthony Widjaja Lin Oxford University Computing Laboratory Abstract. Pushdown systems (PDS) naturally model sequential recursive programs. Nume

Source URL: www.cs.rhul.ac.uk

Reason Isomorphically! Ralf Hinze Daniel W. H. James Computing Laboratory, University of Oxford,

Source URL: www.cs.ox.ac.uk

Refactoring Java Programs for Flexible Locking Max Schäfer Manu Sridharan Oxford University Computing Laboratory

Source URL: manu.sridharan.net

Repairing Incomplete Reasoners Giorgos Stoilos and Bernardo Cuenca Grau Oxford University Computing Laboratory Wolfson Building, Parks Road, OX1 3QD, Oxford Abstract. The pressing need for scalable query answering has m

Source URL: ceur-ws.org